11![Guarded Transitions in Evolving Speci
cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci
cations, where assignment state Guarded Transitions in Evolving Speci
cations Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of speci
cations, where assignment state](https://www.pdfsearch.io/img/1c6593bd85138de2adcbbd3c3262e554.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:51:33
|
---|
12![Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA](https://www.pdfsearch.io/img/db395a23bbf16fb2317328b685e53495.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:40:20
|
---|
13![Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA](https://www.pdfsearch.io/img/325bedb429be9849afa2ce970551fbc4.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:25:03
|
---|
14![Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304](https://www.pdfsearch.io/img/2672e28d12ae8f113bb9e6fa4918ff52.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2011-11-14 19:40:49
|
---|
15![to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R. to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R.](https://www.pdfsearch.io/img/2fdce6ca20d97e5433270d07e0850bda.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:41:38
|
---|
16![Theory and Te
hniques for Synthesizing E
ient Breadth-First Sear
h AlgorithmsSrinivas Nedunuri , Douglas R. Smith , William R. Cook Theory and Te
hniques for Synthesizing E
ient Breadth-First Sear
h AlgorithmsSrinivas Nedunuri , Douglas R. Smith , William R. Cook](https://www.pdfsearch.io/img/b26a54bcdaf4e5fff8d85820b6351910.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:44:28
|
---|
17![Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology](https://www.pdfsearch.io/img/9c37e38d607128f5774b7d0c227697a7.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:44:21
|
---|
18![Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2 Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2](https://www.pdfsearch.io/img/900b050df1775032d09de12b32666e20.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:23:28
|
---|
19![Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA](https://www.pdfsearch.io/img/75f4a96502440d6a6a6d5023c7349ba7.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:22:43
|
---|
20![](/pdf-icon.png) | Add to Reading ListSource URL: www.co.douglas.or.us- Date: 2017-07-27 12:24:35
|
---|